The Argument Dependence Net and Its Use in a Concurrent Logic Programming Environment
نویسندگان
چکیده
This paper presents three types of primary program dependences in concurrent logic programs, and a dependence-based representation named the argument dependence net (ADN) to explicitly represent these program dependences in a concurrent logic program. The ADN can be used as an underlying representation for developing software engineering tools for concurrent logic programs.
منابع مشابه
Literal Dependence Net and Its Use in Concurrent Logic Programming Environment
Program dependences are dependence relationships holding between statements in a program which can be used to infer about the behavior of the program. In this paper we propose a general framework for dependence analysis for concurrent logic programs, in particular for Flat Concurrent Prolog programs. The rst contribution of this paper is to present two language-independent program representatio...
متن کاملSlicing Concurrent Logic Programs
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we address the problem of slicing concurrent logic programs. To solve this problem, we propose three types of primary program dependences between arguments in concurrent logic programs, named the sharing dependence, communication dependence and uni cation dependence. We als...
متن کاملA Program Dependence Model for Concurrent Logic Programs and its Applications
In this paper we propose a program dependence model for concurrent logic programs. We present three types of primary program dependences named the sharing dependence, communication dependence, and uni cation dependence between arguments in a concurrent logic program. We formally de ne these primary program dependences based on mode information. We further present a dependence-based representati...
متن کاملProgram dependence analysis of concurrent logic programs and its applications
In this paper a formal model for program dependence analysis of concurrent logic programs is proposed with the following contributions. First, two languageindependent program representations are presented for explicitly representing control ows and/or data ows in a concurrent logic program. Then based on these representations, program dependences between literals in concurrent logic programs ar...
متن کاملComputing Executable Slices for Concurrent Logic Programs
Program Slicing has many applications in software engineering activities. However, until recently, no slicing algorithm has been presented that can compute executable slices for concurrent logic programs. In this paper we present a dependence-graph based approach to computing executable slice for concurrent logic programs. The dependence-based representation used in this paper is called the Arg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007